Automated practical reasoning

Författare
(Jochen Pfaltzgraf and Dongming.)
Språk
Engelska
Förlag År Ort Om boken ISBN
Springer cop. 1995 Australien, Wien, New York 223 sidor.